Bruno Bentzen; "A Henkin-style completeness proof for the modal logic S5" - Internet Explorer 2.0

Bruno Bentzen; "A Henkin-style completeness proof for the modal logic S5"

https://arxiv.org/abs/1910.01697

Memo

様相論理についてのヘンキン流の完全性証明が何を指しているのかはまだ見ていない．

#定理証明支援系での論理の形式化